void main(){
  print("123456 World");
}